-
1 отрицание импликации
-
2 отрицание импликации
отрицание импликации
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > отрицание импликации
-
3 отрицание импликации
Русско-английский технический словарь > отрицание импликации
-
4 отрицание импликации
1) Mathematics: antiimplication2) Information technology: nonimplicationУниверсальный русско-английский словарь > отрицание импликации
-
5 отрицание импликации
Русско-английский словарь по вычислительной технике и программированию > отрицание импликации
-
6 отрицание импликации
nonimplication логикаРусско-английский научно-технический словарь Масловского > отрицание импликации
-
7 отрицание импликации
Русско-английский большой базовый словарь > отрицание импликации
-
8 отрицание
с. мат. denial; negationвентиль отрицания; схема отрицания — negation gate
Синонимический ряд:отвержение (сущ.) отвержениеАнтонимический ряд:признание; утверждение -
9 отрицание
1) denial
2) negation
3) negative
– отрицание дизъюнкции
– отрицание импликации
– отрицание конъюнкции
– отрицание переноса -
10 отрицание обратной импликации
Mathematics: converse nonimplicationУниверсальный русско-английский словарь > отрицание обратной импликации
-
11 отрицание обратной импликации
converse nonimplication логикаРусско-английский научно-технический словарь Масловского > отрицание обратной импликации
-
12 exclusion
Англо-русский словарь промышленной и научной лексики > exclusion
См. также в других словарях:
отрицание импликации — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN non implication … Справочник технического переводчика
ОТРИЦАНИЕ — филос. категория, выражающая опре дел. тип отношения между двумя последоват. стадиями, состояниями развивающегося объекта. О. является необходимым моментом процесса развития. Диалектика в «...позитивное понимание существующего... включает … Философская энциклопедия
отрицание — ОТРИЦАНИЕ (в логике) специальная логическая операция. В зависимости от местоположения различают внешнее и внутреннее О., свойства и роли которых существенно различаются. 1. Внешнее О. (пропозициональное) служит для образования… … Энциклопедия эпистемологии и философии науки
Булевы выражения — В теории дискретных функциональных систем булевой функцией называют функцию типа , где булево множество, а n неотрицательное целое число, которое называют арностью или местностью функции. Элементы 1 (единица) и 0 (ноль) стандартно интерпретируют… … Википедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Импликация — Импликация (лат. implicatio связь) бинарная логическая связка, по своему применению приближенная к союзам «если… то…». Импликация записывается как посылка следствие; применяются также стрелки другой формы и направленные в другую… … Википедия
релевантная логика — РЕЛЕВАНТНАЯ ЛОГИКА (от англ. relevant существенный) одно из направлений современной неклассической логики, сформировавшееся во второй половине 20 в. Ее возникновение связано с попыткой решить проблему формализации логического следования и … Энциклопедия эпистемологии и философии науки
МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М … Философская энциклопедия
Логические элементы — Логические элементы устройства, предназначенные для обработки информации в цифровой форме (последовательности сигналов высокого «1» и низкого «0» уровней в двоичной логике, последовательность «0», «1» и «2» в троичной логике,… … Википедия
ЛОГИЧЕСКИЕ СВЯЗКИ — ЛОГИЧЕСКИЕ СВЯЗКИ символы логических языков, используемые для образования сложных высказываний (формул) из элементарных. Логическими связками называют также соответствующие этим символам союзы естественного языка. Обычно используются такие… … Философская энциклопедия
Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок … Википедия